main: Remove timestamp parameter from popModal()

It has been unused since the move to Clutter.grab() in commit
f4cae72d17af.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3195>

diff --git a/js/ui/main.js b/js/ui/main.js
index a856c56950f0064b94f05227180c21a7e4f31a49..cfb6d8735d78a9d3023c082e5c41f0166b7de29e 100644 (file)
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -714,17 +714,9 @@ export function pushModal(actor, params = {}) {
  * the topmost invocation, then the focus will be restored to the
  * previous focus at the time when pushModal() was invoked.
  *
- * `timestamp` is optionally used to associate the call with a specific user
- * initiated event. If not provided then the value of
- * global.get_current_time() is assumed.
- *
  * @param {Clutter.Grab} grab - the grab given by pushModal()
- * @param {number=} timestamp - optional timestamp
  */
-export function popModal(grab, timestamp) {
-    if (timestamp === undefined)
-        timestamp = global.get_current_time();
-
+export function popModal(grab) {
     let focusIndex = _findModal(grab);
     if (focusIndex < 0) {
         global.stage.set_key_focus(null);